Verification of cardiac tissue electrophysiology simulators using an N-version benchmark.
نویسندگان
چکیده
Ongoing developments in cardiac modelling have resulted, in particular, in the development of advanced and increasingly complex computational frameworks for simulating cardiac tissue electrophysiology. The goal of these simulations is often to represent the detailed physiology and pathologies of the heart using codes that exploit the computational potential of high-performance computing architectures. These developments have rapidly progressed the simulation capacity of cardiac virtual physiological human style models; however, they have also made it increasingly challenging to verify that a given code provides a faithful representation of the purported governing equations and corresponding solution techniques. This study provides the first cardiac tissue electrophysiology simulation benchmark to allow these codes to be verified. The benchmark was successfully evaluated on 11 simulation platforms to generate a consensus gold-standard converged solution. The benchmark definition in combination with the gold-standard solution can now be used to verify new simulation codes and numerical methods in the future.
منابع مشابه
Considerations for the use of cellular electrophysiology models within cardiac tissue simulations.
The use of mathematical models to study cardiac electrophysiology has a long history, and numerous cellular scale models are now available, covering a range of species and cell types. Their use to study emergent properties in tissue is also widespread, typically using the monodomain or bidomain equations coupled to one or more cell models. Despite the relative maturity of this field, little has...
متن کاملSoftware Co-Verification Based on Program Traces from Different Processors
High complexity and tight time-to-market have created new challenges in Multiprocessor System-on-Chip (MPSoC) designs. Virtual platforms play an important role in this scenario, by enabling design space exploration, functional verification, and IP reuse. Processors are key components on such virtual platforms, where Architecture Description Languages are usually applied to automatically generat...
متن کاملNonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Implantable cardiac devices like pacemakers and defibrillators are life-saving medical devices. To verify their functionality, there is a need for heart models that can simulate interesting phenomena and are relatively computationally tractable. In this benchmark we implement a model of the electrical activity in excitable cardiac tissue as a network of nonlinear hybrid automata. The model has ...
متن کاملChaste: A case study of parallelisation of an open source finite-element solver with applications to computational cardiac electrophysiology simulation
The simulation of cardiac electrophysiology is a mature field in computational physiology. Recent advances in medical imaging, high-performance computing and numerical methods mean that computational models of electrical propagation in human heart tissue are ripe for use in patient-specific simulation for diagnosis, for prognosis and for selection of treatment methods. However, in order to move...
متن کاملThe effects of 4 weeks aerobic training on oxidative and angiogenesis markers of cardiac tissue in type 2 diabetic male wistar rats
Background and Aim: Type 2 diabetes exerts oxidative and anti-angiogenesis effects on the cardiac tissue through different pathways. The aim of present study was to investigate the effects of 4 weeks aerobic training on levels of ROS and NO and gene expression of HIF-1α and VEGF of cardiac tissue in type 2 diabetic male wistar rats. Materials and Methods: In an experimental study, 30 male wist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
دوره 369 1954 شماره
صفحات -
تاریخ انتشار 2011